#ifndef LECTEURPHRASEAVECTABLE_H_
#define LECTEURPHRASEAVECTABLE_H_

#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include <string>
using namespace std;

class LecteurPhraseAvecTable {
public:
	LecteurPhraseAvecTable(string nomFich);	// Construit un lecteur de phrase pour vérifier
	                                        // la syntaxe du programme dans le fichier nomFich

	void analyse();   // Si le contenu du fichier est conforme à la grammaire,
	                  //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
                          //   la table des symboles (ts) aura été construite
	                  // Sinon, le programme sera interrompu (exit).
	inline TableSymboles getTs ()   { return ts; } // accesseur

private:
    LecteurSymbole ls;  // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles  ts;  // la table des symboles valués

    // implémentation de la grammaire
    void programme();   //   <programme> ::= debut <seqInst> fin <EOF>
    void seqInst();	    //     <seq_ins> ::= <inst> ; { <inst> ; }
    void inst();	    // <inst> ::= <affectation> | <isntSi> | <isntTq> | <isntRepeter>| <instLire> | <instEcrire> | <isntPour>
    void affectation();	// <affectation> ::= <variable> = <expression>
    void expression();	//  <expression> ::= <terme> { <opAdd> <terme> }
    void terme();   // <terme> ::= <facteur> {<opMult> <facteur>}
    void facteur();    // <facteur> ::= <entier>  |  <variable>  |  <opUnaire> <expOu> | (<expOu>)

    void relation();    //    <relation> ::= <expression> { <opRel> <expression> }
    void opRel();       //       <opRel> ::= == | != | < | <= | > | >=
    void opUnaire();    //    <opUnaire> ::= - | non
    void instLire();    //    <instLire> ::= lire ( <variable> )
    void instEcrire();  //  <instEcrire> ::= ecrire (<expression> | <chaine> )

    void opAdd();	// <opAdd> ::= + | -
    void opMult();  // <opMult> ::= * | /

    void opOu();	// <opOu> ::= ou
    void opEt();	// <opEt> ::= et
    void expOu();	//<expOu> ::= <expEt> { <opOu> <expEt> }
    void expEt();	//<expEt> ::= <relation> { <opEt> <relation> }

    void instSi(); //<isntSi> ::= si ( <expOu>) <seqInst> {sinonsi ( <expOu> ) <seqInst> } [sinon <seqInst> ] finsi
    void instTq(); //<isntTq> ::= tantque ( <expOu> ) <seqInst> fintantque
    void instRepeter(); //<isntRepeter> ::= repeter <seqInst> jusqua (<expOu>)
    void instPour(); // <isntPour> ::= pour (<variable> allant de <variable> -> <variable> avec <affectation>) <seqInst> finpour

    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASESIMPLE_H_ */
